A Critique of Standard ML
نویسنده
چکیده
Standard ML is an excellent language for many kinds of programming. It is safe, efcient, suitably abstract, and concise. There are many aspects of the language that work well. However, nothing is perfect: Standard ML has a few shortcomings. In some cases there are obvious solutions, and in other cases further research is required. The Meta-Language of the Edinburgh LCF theorem-proving system [12] evolved into a freestanding programming environment [7] and then into Standard ML [29, 26]. After further evolution the language is fairly stable [31]. This is a critique of the language from two perspectives: the user's and the implementor's. The rst part of this paper describes why ML is a pleasant language to use, and the second shows how some of these language features are interesting to compile. Then the third and fourth parts of the paper point out some of the annoyances ML programmers and implementors have to deal with. Supported in part by NSF grant CCR-9002786. 1 Why I like ML In this section I list the reasons why I like programming in ML, in decreasing order of importance. Some features of the language for which ML is especially known fall surprisingly far down the list.
منابع مشابه
That Philosophy as Epistemological-Based is Not Debased: A Critique of Post-Modernist/Hermeneutic Critique of Traditional Philosophy
Over the centuries, beginning with the classic Greeks through the trends of the mid-20th century, philosophical enterprise has been intricately and seemingly irretrievably rooted in the theory of the given—an edification of philosophy as that giant mirror and standard for measuring what counts as knowledge; but is it thus synonymous with or reducible to epistemology? How or why? There are two a...
متن کاملCritique of Critiques/An Answer to Domesticated Magic: A Critique of the Domestication of Magical Realism in Iran, Mohsen Hanif
متن کامل
تحلیل انتقادی مطالعات پژوهشی در علوم پزشکی
An intellectual critique of researches is a fundamental procedure through which knowledge promotion may be achieved. Different aspects of the subject should be sought. There are several points that made the critique of studies an important activity. These include: student critique, critique in order to process findings, verbal critique following the verbal research presentation, written critiqu...
متن کاملCritique of Research Book (Literature)/A Critique of Kimia of Rumi’s Haram, Sadaf Golmoradi
A Critique of Kimia of Rumi’s Haram Sadaf Golmoradi/ Professor at Tehran Farhangian University, [email protected] Abstract The present research is aimed at introducing and reviewing Kimia of Rumi’s Haram. Although the book does not mention in the title that it is in face a critique but we see that it is an essay based on "... the critique of novels Kimiakhatoon, Rumi’s Daughter, and the ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Funct. Program.
دوره 3 شماره
صفحات -
تاریخ انتشار 1993